VPM: Mathematics of Metamodeling is Metamodeling Mathematics
نویسندگان
چکیده
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well–founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance and Time. However, such transformations into different semantic domains typically require the deep understanding of the underlying mathematics, which hinders the use of formal specification techniques in industrial applications. In the paper, we propose a multilevel metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph transformation) where the structure and operational semantics of mathematical models can be defined in a UML notation without cumbersome mathematical formulae.
منابع مشابه
A Unifying Semantic Framework for Multilevel Metamodeling
As the revision process of UML attempts to re-architecture the single and imprecise language into a family of languages with well–defined semantics, the nature of the core metamodeling framework is of growing importance. In the current paper, a formal mathematical background is presented for a uniform representation of multilevel metamodels and static well–formedness constraints supported by a ...
متن کاملSaying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case
Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated into design environments, they need to provide short reaction time to support software engineers. The objective of the VIATRA2 (VIsual Automated model TRAnsformations [9]) framewor...
متن کاملJeffery Hamel Flow of a non-Newtonian Fluid
This paper presents the Jeffery Hamel flow of a non-Newtonian fluid namely Casson fluid. Suitable similarity transform is applied to reduce governing nonlinear partial differential equations to a much simpler ordinary differential equation. Variation of Parameters Method (VPM) is then employed to solve resulting equation. Same problem is solved numerical by using Runge-Kutta order 4 method. A c...
متن کاملA categorical approach towards metamodeling
Cyber-physical systems, orchestrating computing, networking, and physical processes, are coupled, hybrid systems characterized by heterogeneous, interconnected subsystems. In civil engineering, the most common applications of cyber-physical systems are associated with structural health monitoring (SHM) and structural control. Given the complexity and heterogeneity of cyber-physical systems desi...
متن کاملTaylor Kriging Metamodeling for Simulation Interpolation, Sensitivity Analysis and Optimization Tin-yau Tam Professor Mathematics and Statistics Sensitivity Analysis and Optimization Taylor Kriging Metamodeling for Simulation Interpolation, Sensitivity Analysis and Optimization
Except where reference is made to the work of others, the work described in this dissertation is my own or was done in collaboration with my advisory committee. This dissertation does not include proprietary or classified information. Permission is granted to Auburn University to make copies of this dissertation at its discretion, upon the request of individuals or institutions and at their exp...
متن کامل